Process Mining Meets Abstract Interpretation
نویسندگان
چکیده
The discovery of process models out of system traces is an interesting problem that has received significant attention in the last years. In this work, a theory for the derivation of a Petri net from a set of traces is presented. The method is based on the theory of abstract interpretation, which has been applied successfully in other areas. The principal application of the theory presented is Process Mining, an area that tries to incorporate the use of formal models both in the design and use of information systems.
منابع مشابه
Online Techniques for Dealing with Concept Drift in Process Mining
Concept drift is an important concern for any data analysis scenario involving temporally ordered data. In the last decade Process mining arose as a discipline that uses the logs of information systems in order to mine, analyze and enhance the process dimension. There is very little work dealing with concept drift in process mining. In this paper we present the first online mechanism for detect...
متن کاملThe Automated Analysis of Rule-based Systems, Based on their Procedural Semantics
This paper describes a method of analysing rule-based systems, which models the procedural semantics of such languages. Through a process of 'abstract interpretation', the program, AbsPS, derives a description of the mapping between a rule base's inputs and outputs. In contrast to earlier approaches, AbsPS can analyse the effects of: conflict resolution, closed-world negation and the retraction...
متن کاملAbstract interpretation meets convex optimization
Interpretation Meets Convex Optimization ? Thomas Martin Gawlitza, Helmut Seidl, Assalé Adjé, Stephane Gaubert, and Eric Goubault 1 CNRS/VERIMAG, France [email protected] 2 Technische Universität München, Germany [email protected] 3 CEA, LIST and LIX, Ecole Polytechnique (MeASI) [email protected] 4 INRIA Saclay and CMAP, Ecole Polytechnique, F-91128 Palaiseau Cedex, France Stephane.Gaubert...
متن کاملWhen Process Mining Meets Bioinformatics
Process mining techniques can be used to extract non-trivial process related knowledge and thus generate interesting insights from event logs. Similarly, bioinformatics aims at increasing the understanding of biological processes through the analysis of information associated with biological molecules. Techniques developed in both disciplines can benefit from one another, e.g., sequence analysi...
متن کاملKR Meets DB for Data Mining
Position paper for the Workshop on Knowledge Representation Meets Databases (krdb'96 at ecai'96, Bu-dapest).
متن کامل